1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
4. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
5. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: (Mazandaran)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
6. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
7. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
9. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
10. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
11. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
13. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles, 5591-
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
14. Algorithms and data structures :
پدیدآورنده : Douglas Baldwin and Greg W. Scragg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
15. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Information theory.,Software engineering.,Theory of Computation.
16. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
17. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Lund <1993>,Theoretische Informatik.
18. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
19. Computer Algebra :
پدیدآورنده : edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
20. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
